Autori: Popovic Miroslav V
| Naslov | Flexible scheduling of transactional memory on trees (Article) |
| Autori | Busch Costas Chlebus Bogdan S Herlihy Maurice Popovic Miroslav V  Poudel Pavan Sharma Gokarna
|
| Info | THEORETICAL COMPUTER SCIENCE, (2023), vol. 978 br. , str. - |
| Projekat | National Science Foundation [CNS-2045597] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
     |
| Naslov | A Learning Model for Lifelong Education of Computer Engineers (Article) |
| Autori | Kastelan Ivan Popovic Miroslav V Bjelica Milan Z
|
| Info | IEEE ACCESS, (2023), vol. 11 br. , str. 101296-101308 |
| Projekat | Provincial Secretariat for Higher Education and Scientific Research [142-451-2339/2022-01/01] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Complete Formal Verification of the PSTM Transaction Scheduler (Article) |
| Autori | Popovic Miroslav V Popovic Marko M Kordic Branislav A Zhu Huibiao
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. 307-327 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [451-03-68/2020-14/200156]; "Digital Silk Road" Shanghai International Joint Lab of Trustworthy Intelligent Software [22510750100] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Dynamic scheduling in distributed transactional memory (Article) |
| Autori | Busch Costas Herlihy Maurice Popovic Miroslav V Sharma Gokarna
|
| Info | DISTRIBUTED COMPUTING, (2022), vol. 35 br. 1, str. 19-36 |
| Projekat | Ministry of Education, Science and Technological Development, Serbia [451-03-68/2020-14/200156]; National Science Foundation (NSF) [CCF-1936450, CNS-20 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | An Evolutionary Computational System Architecture Based on a Software Transactional Memory (Article) |
| Autori | Kordic Branislav A Popovic Marko M Popovic Miroslav V Goldstein Moshe Amitay Moshe Da Yan David Fredj Erick
|
| Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2021), vol. 66 br. 1, str. 47-52 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Fast Scheduling in Distributed Transactional Memory (Article) |
| Autori | Busch Costas Herlihy Maurice Popovic Miroslav V Sharma Gokarna
|
| Info | THEORY OF COMPUTING SYSTEMS, (2021), vol. 65 br. 2, str. 296-322 |
| Projekat | National Science Foundation (NSF) [1320835, 1420673, 1936450]; Serbian Ministry of Education Science [44009, TR 32031] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Fault Tolerant Distributed Python Software Transactional Memory (Article) |
| Autori | Popovic Marko M Basicevic Ilija V Djukic Miodrag M Popovic Miroslav V
|
| Info | ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, (2020), vol. 20 br. 4, str. 19-28 |
| Projekat | Serbian Ministry of Education, Science, and Technology Development [III 44009-2] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Formal analysis and verification of the PSTM architecture using CSP (Article) |
| Autori | Liu Ailun Zhu Huibiao Popovic Miroslav V Xiang Shuangqing Zhang Lei
|
| Info | JOURNAL OF SYSTEMS AND SOFTWARE, (2020), vol. 165 br. , str. - |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Formal Verification of Local and Distributed Python Software Transactional Memories (Article) |
| Autori | Popovic Marko M Popovic Miroslav V Ghilezan Silvia Kordic Branislav A
|
| Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2019), vol. 64 br. 4, str. 423-428 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Formal Verification of Python Software Transactional Memory Based on Timed Automata (Article) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia
|
| Info | ACTA POLYTECHNICA HUNGARICA, (2019), vol. 16 br. 7, str. 197-216 |
| Projekat | Ministry of Education, Science, and Technology Development of Republic of Serbia [III-44009, ON174026, III044006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
